Foundational UML Behavioral Specification with Java

Behavioral specification of Java component using SyncCharts

Nowadays, using a component is not easy when one does not know the method call linking. This is due to the fact that “Component specification focuses on the interface and fails to capture the behavior”. In this position paper, we propose an approach using SyncCharts, to describe the required sequences of method to call in order not to misuse a component. We also present a transparent architectu...

Secure Java Development with UML

Behaviour-Driven Development of Foundational UML Components

Behaviour-Driven Development (BDD) focuses all development activities on the delivery of behaviours what a system should do, described such that developers and domain experts speak the same language. BDD frameworks allow users to represent the required system behaviour as executable user stories and the acceptance criteria as executable scenarios attached to user stories. In this paper we defin...

Towards Precise Service Specification with UML and UML-RT

The notion of service enjoys increasing popularity as a means for structuring complex distributed systems. The current trend towards “web services” is just one example of this increase in popularity; others occur in safety-critical systems (such as in the automotive or avionics domain), where precise specification, and correct implementation of requirements are essential. Surprisingly, however,...

Specification of Workflow Management Systems with UML

Unified Modeling Language (UML) defines a standard notation for object-oriented systems. Using UML enhances communication between domain experts, workflow specialists, software designers and other professionals with different backgrounds. UML can be used on a general level, which is intuitive for the users of workflow systems. In spite of this, UML symbols also have precisely defined semantics,...